71 search results for "author:"simon cruanes""

Showing 51 - 71
  1. pbrt
    Documentation
    Runtime library for Protobuf tooling
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 5 other packages
    14 Feb 2024
  2. pbrt_services
    Documentation
    Runtime library for ocaml-protoc to support RPC services
    protobuf encode decode services rpc
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 1 other packages
    14 Feb 2024
  3. pbrt_yojson
    Documentation
    Runtime library for ocaml-protoc to support JSON encoding/decoding
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 2 other packages
    14 Feb 2024
  4. ppx_trace

    No documentation

    A ppx-based preprocessor for trace
    trace ppx
    Simon Cruanes
    0.7
    MIT
    Used by 0 other packages
    11 Mar 2024
  5. printbox
    Documentation
    Allows to print nested boxes, lists, arrays, tables in several formats
    print box table tree
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 10 other packages
    08 Mar 2024
  6. printbox-html
    Documentation
    Printbox unicode handling
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 3 other packages
    08 Mar 2024
  7. printbox-md
    Documentation
    Printbox Markdown rendering
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 1 other packages
    08 Mar 2024
  8. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 7 other packages
    08 Mar 2024
  9. qbf
    Documentation
    QBF solving in OCaml, including bindings to solvers
    clib:quantor clib:qdpll clib:picosat
    Simon Cruanes
    0.3
    BSD-3-clause
    Used by 0 other packages
    13 Jan 2021
  10. qtest
    Documentation
    Lightweight inline test extraction from comments
    test property quickcheck
    Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org
    2.11.2
    Used by 22 other packages
    12 Feb 2021
  11. sequence
    Documentation
    Simple and lightweight sequence abstract data type.
    sequence iterator iter fold
    Simon Cruanes
    1.1
    BSD-2-Clause
    Used by 10 other packages
    15 Jul 2018
  12. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  13. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  14. sqlite3_utils
    Documentation
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    04 Jan 2022
  15. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 1 other packages
    09 Feb 2019
  16. trace

    No documentation

    A stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.7
    MIT
    Used by 9 other packages
    11 Mar 2024
  17. trace-fuchsia

    No documentation

    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.7
    MIT
    Used by 0 other packages
    11 Mar 2024
  18. trace-tef

    No documentation

    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format
    Simon Cruanes
    0.7
    MIT
    Used by 6 other packages
    11 Mar 2024
  19. tracy-client
    Documentation
    Client bindings to the Tracy profiler (v0.10)
    Bartosz Taudul Simon Cruanes
    0.4
    BSD-3-Clause
    Used by 0 other packages
    06 Dec 2023
  20. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  21. zipperposition-tools
    Documentation
    Support tools for Zipperposition
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
1 2